Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
31	K-THEORETIC SCHUBERT CALCULUS FOR OG(n, 2n + 1) AND JEU DE TAQUIN FOR SHIFTED INCREASING TABLEAUX EDWARD CLIFFORD, HUGH THOMAS, AND ALEXANDER YONG Abstract. We present a proof of a Littlewood-Richardson rule for the K-th Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-08-14 13:11:11 Symmetric functions Representation theory Algebraic combinatorics Lambda calculus Young tableau Littlewood–Richardson rule Jeu de taquin Combinatory logic Abstract algebra Algebra Mathematics
32	A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms Joseph Goguen Dept. Computer Science & Engineering University of California, San Diego Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2001-11-18 00:50:05 Mathematical structures Algebraic structures Algebras Algebra over a field Structure Term algebra Boolean algebra Universal enveloping algebra Clifford algebra Abstract algebra Algebra Mathematics
33	JanuaryStanford Verification Group Report No. 15 Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2005-01-06 03:20:52 Algebraic structures Algebraic logic Boolean algebra Differential equation Universal algebra Unification Variety Boolean algebras canonically defined Heyting algebra Mathematics Abstract algebra Algebra
34	Cellular Automata as Algebraic Systems Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:33:18 Combinatory logic Lambda calculus Logic in computer science Group action Groupoid Abstract algebra Mathematics Algebra
35	Contextuality, Cohomology and Paradox Samson Abramsky Joint work with Rui Soares Barbosa, Kohei Kishida, Ray Lal and Shane Mansfield Department of Computer Science, University of Oxford Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2015-02-08 21:50:20 Mathematics Samson Abramsky Philosophical logic Abramsky Cohomology Logic Paradox Sheaf Abstract algebra Algebraic topology Topology
36	ENGG1015: Homework 2 Dr. Kenneth Wong / Dr. Hayden So Due: 5pm, Nov 3, 2010 Turn in your homework at boxes outside Rm712, CYC Building Question 1 Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2010-10-22 02:40:08 Boolean algebra Propositional calculus Functional analysis Algebraic logic Truth table Logic gate Convolution Image Function Mathematics Abstract algebra Mathematical logic
37	Differential algebraic equations from definability Thomas Scanlon 24 OctoberThomas Scanlon Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-11-09 02:34:20 Mathematical analysis Differential algebra Complex analysis Imaginary element Field theory Differentially closed field Functions and mappings Logarithmic derivative Structure Mathematics Abstract algebra Model theory
38	Logic and Lattices for Distributed Programming Neil Conway William Marczak Peter Alvaro Joseph M. Hellerstein Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-06-22 16:27:05 Lattice theory Algebra Order theory Lattice Semilattice Class Boolean algebra Monotonic function Complete Heyting algebra Abstract algebra Mathematics Algebraic structures
39	HANDLING ALGEBRAIC EFFECTS GORDON D. PLOTKIN AND MATIJA PRETNAR Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland e-mail address: Faculty of Mathema Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Logic in computer science Algebraic geometry Field theory Valuation Monad Denotational semantics Exception handling Symbol Sheaf Abstract algebra Mathematics Software engineering
40	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:05 Algebraic logic Logic gates Boolean algebra Propositional calculus Logical connectives Truth table Negated AND gate Exclusive or AND gate Mathematics Mathematical logic Abstract algebra

UPDATE